Q: Exploit Hardening Made Easy Edward J. Schwartz, Thanassis Avgerinos and David Brumley Carnegie Mellon University, Pittsburgh, PA {edmcman, thanassis, dbrumley}@cmu.edu

Source URL: users.ece.cmu.edu

• C Standard Library
• Return-to-libc attack
• Address space layout randomization
• Buffer overflow
• GADGET
• MOV
• Shellcode
• NX bit
• Instruction selection
• Computer architecture
• Computing
• Software bugs

Variational Inference for Adaptor Grammars Noah A. Smith David M. Blei Shay B. Cohen School of Computer Science Computer Science Department School of Computer Science Carnegie Mellon University

Source URL: www.cs.columbia.edu

• Stochastic processes
• Bayesian statistics
• Statistical models
• Probability theory
• Dirichlet process
• Formal grammar
• Pitman–Yor process
• Gibbs sampling
• Inside-outside algorithm
• Statistics
• Probability and statistics
• Formal languages

BAP: A Binary Analysis Platform David Brumley Ivan Jager Thanassis Avgerinos Edward J. Schwartz Carnegie Mellon University

Source URL: users.ece.cmu.edu

• Computing
• Academia
• Higher education
• X86
• Low-level programming language
• Carnegie Mellon University

Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu

Source URL: users.ece.cmu.edu

• Theoretical computer science
• Automated theorem proving
• Concolic testing
• Symbolic execution
• KeY
• Parallel computing
• X86
• Type system
• Algorithm
• Data types
• Formal methods
• Computing

A Contractual Anonymity System Edward J. Schwartz, David Brumley and Jonathan M. McCune Carnegie Mellon University, CyLab NDSS 2010: March 2nd, 2010

Source URL: users.ece.cmu.edu

All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution (but might have been afraid to ask) (Yes, we were trying to overflow the title length field

Source URL: users.ece.cmu.edu

• Symbolic execution
• David Brumley
• Pennsylvania
• Higher education
• Academia
• Computer programming
• Taint checking
• Carnegie Mellon University

Towards Attack-Agnostic Defenses David Brumley and Dawn Song Carnegie Mellon University {dbrumley,dawnsong}@cs.cmu.edu Abstract

Source URL: users.ece.cmu.edu

• Cyberwarfare
• Botnet
• Denial-of-service attack
• Peer-to-peer
• Tor
• Malware
• Public-key cryptography
• Mobile IP
• Node
• Computer network security
• Computing
• Cryptography

David Consulting Group Leads American Vehicle Manufacturer to Successful CMMI Level 3 Appraisal Measure. Optimize. Deliver.

Source URL: www.davidconsultinggroup.com

• Carnegie Mellon University
• Standards
• Capability Maturity Model Integration
• Business
• Process area
• Process
• CMMI Version 1.3
• Standard CMMI Appraisal Method for Process Improvement
• Software development process
• Management
• Quality

Platform-Independent Programs Sang Kil Cha, Brian Pak, David Brumley Richard J. Lipton Carnegie Mellon University

Source URL: users.ece.cmu.edu

• Shellcode
• NOP
• X86
• Portable Executable
• Instruction set
• Assembly language
• Self-modifying code
• QEMU
• Branch
• Computer architecture
• Computing
• Instruction set architectures

Well March has been a mixed month, over the past few weeks we have said farewell to two amazing Carnegie winning authors; the brilliant Mal Peet who passed away on the 2nd March and my personal writing hero Terry Pratche

Source URL: teenlibrarian.co.uk

• Librarian
• Kate Greenaway Medal
• David Roberts
• Science
• Library science
• Chartered Institute of Library and Information Professionals
• Carnegie Medal in Literature